On Deductive Database with Incomplete Information

In order to extend the ability to handle incomplete information in a definite deductive database, a Horn clause based system representing incomplete information as incomplete constants is proposed. By using the notion of incomplete constants the deductive database system handles incomplete information in the form of sets of possible values, thereby giving more information than null values. The resulting system extends Horn logic to express a restricted form of indefiniteness. Although a deductive database with this kind of incomplete information is, in fact, a subset of an indefinite deductive database system, it represents indefiniteness in terms of value incompleteness and therefore it can make use of the existing Horn logic computation rules. The inference rules for such a system are presented, its model theory discussed and an indefinite model theory proposed. The indefinite model theory is consistent with minimal model theory and extends its expressive power.